7. An introduction to practical formal methods using temporal logic

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Temporal automata,Logic, Symbolic and mathematical

رده :
QA267
.
5
.
T45
,
F57
2011

12. Ddv dioden: Datenlexikon = Data dictionary...

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)

موضوع: Diodes - Tables

رده :
TK
,
7871
.
86
,.
F54
,
1997

18. Erection bracing of low rise structured steel building

المؤلف:

المکتبة: (کرمان)

موضوع: building,iron anmd steel,steel ,structural

رده :
TH
1611
.
E7